<?php
$z[0]=Array("global","",142,167);
$z[0][4]['name']="autoindex";
$z[1]=Array("typeurl","",212,229);
$z[2]=Array("typename","",231,249);
$z[3]=Array("arcurl","",281,296);
$z[4]=Array("title","",298,312);
$z[5]=Array("typeurl","",388,405);
$z[6]=Array("typename","",407,425);
$z[7]=Array("arcurl","",441,456);
$z[8]=Array("title","",458,472);

?>